Reliable Performance Modelling with Approximate Synchronisations
نویسنده
چکیده
Markovian Process Algebras approximate their model of synchronisation events in order to preserve their Markovian nature. This paper investigates synchronisation models in a stochastic context and focuses on how the Markovian approximation of synchronisation a ects the accuracy of the performance model. TIPP and PEPA are used as speci c cases throughout, and their di erent methods of synchronisation are compared for e ectiveness in performance modelling. The paper ends with a generally distributed example of real-world synchronisation, which we are able to solve analytically and then approximately with four Markovian Process Algebra models. From the results of this analysis, we are able to suggest other Markovian synchronisation models which complement and improve on those presented by TIPP and PEPA.
منابع مشابه
A Robust Reliable Forward-reverse Supply Chain Network Design Model under Parameter and Disruption Uncertainties
Social responsibility is a key factor that could result in success and achieving great benefits for supply chains. Responsiveness and reliability are important social responsibility measures for consumers and all stakeholders that strategists and company managers should be concerned about them in long-term planning horizon. Although, presence of uncertainties as an intrinsic part of supply chai...
متن کاملA Consistent and Accurate Numerical Method for Approximate Numerical Solution of Two Point Boundary Value Problems
In this article we have proposed an accurate finite difference method for approximate numerical solution of second order boundary value problem with Dirichlet boundary conditions. There are numerous numerical methods for solving these boundary value problems. Some these methods are more efficient and accurate than others with some advantages and disadvantages. The results in experiment on model...
متن کاملMultiple vacation policy for MX/Hk/1 queue with un-reliable server
This paper studies the operating characteristics of an MX/Hk/1 queueing system under multiple vacation policy. It is assumed that the server goes for vacation as soon as the system becomes empty. When he returns from a vacation and there is one or more customers waiting in the queue, he serves these customers until the system becomes empty again, otherwise goes for another vacation. The brea...
متن کاملOPTIMALIZATION PHASE USING GRAPH MODELLING FOR RELIABLE BUILDING COMPLEXES
During the planning phase of modern, complex, block-structured, large-area located, but still landscape-harmonized health-care buildings, the key is the optimal positioning of the blocks and functions, simultaneously ensuring the most-effective backup-paths for any transportation route failure in the buildings in order to speed up system operation, reduce maintenance costs and especially to imp...
متن کاملPerformance modeling and parametric investigation of a solid oxide fuel cell (SOFC)
In his paper, performance modeling and parametric study of a tubular solid oxide fuel cell (SOFC) fed by hydrogen was conducted. The components of the fuel cell system and its reactions were entirely modelled and an electrochemical analysis done for it. A variety of modeling parameters including temperature, working pressure and the air mass- flow rate have been investigated in order to observe...
متن کامل